Design methods for reactive systems - Yourdon, Statemate, and the UML
نویسنده
چکیده
منابع مشابه
Embedding Object-Oriented Design in System Engineering
The Unified Modeling Language (UML) is a collection of techniques intended to document design decisions about software. This contrasts with systems engineering approaches such as for example Statemate and the Yourdon Systems Method (YSM), in which the design of an entire system consisting of software and hardware can be documented. The difference between the systemand the software level is refl...
متن کاملFrom function-driven Systems Engineering to
This paper describes a model-based system and software development process that combines both function-driven systems engineering and object oriented software engineering. The key part of this "Integrated Process" is the "Bridge" between the two paradigms. Tools chosen to demonstrate the Integrated Process are the I-Logix tools Statemate Magnum, for the function-driven systems engineering, and...
متن کاملReconciling statechart semantics
Statecharts are a visual technique for modelling reactive behaviour. Over the years, a plethora of statechart semantics have been proposed. The three most widely used are the fixpoint, Statemate, and UML semantics. These three semantics differ considerably from each other. In general, they interpret the same statechart differently, which impedes the communication of statechart designs among bot...
متن کاملOn the Behavior of Complex Object-Oriented Systems
Over the years, the main approaches to high-level system modeling have been structuredanalysis and object-orientation (OO). The two are about a decade apart in initial conception and evolution. SA started out in the late 1970’s by De Marco, Yourdon and others, and is based on “lifted” classical procedural programming concepts up to the modeling level and using diagrams [CY79]. The result calls ...
متن کاملRequirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adaptation of the Statemate statechart semantics, with local variables, real time, identifier addressing, point-to-point communication, synchronous commu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003